Test environment for verification of multi-processor memory subsystem unit
نویسندگان
چکیده
منابع مشابه
Generating concurrent test-programs with collisions for multi-processor verification
In this paper, we discuss collisions that are of interest to multiprocessor verification. Collisions occur when different processes access a shared resource. We investigate how the results of such collisions can be presented in test programs and suggest implementations for automatically generating such tests and predicting results of collision scenarios. Most of the ideas presented here are the...
متن کاملPerformance and the Single/multi{processor Operating System Process Subsystem
Operating systems depend on process subsystem performance, which we analyze in Choices. We use compile time specialization to optimize both single and multiprocessor performance within a single design. We partition critical sections into two types, and compose independent control mechanisms to produce high performance, specialized locks. We select heavily used process operations and justify new...
متن کاملEfficient test sites for multi-environment evaluation of sugarcane genotypes in Thailand
Multi-environment trials (METs) of crop genotypes are costly and require efficient test sites for cost effectiveness. This study aimed to identify efficient test sites for METs of sugarcane (Saccharum spp.) genotypes in Thailand, utilizing data from 10 sugarcane genotypes conducted at nine locations covering different sugarcane growing regions of the country for two crop-classes. Cluster an...
متن کاملMulti-environment Speaker Verification
Here we investigate an instance of the abstract problem of pattern recognition under mismatch conditions: Models of phenomena are built with data collected in the training environment but must be used to recognize the same phenomena in another environment. The speciic problem is speaker veriication, where the training and testing data for each speaker can come from one of many diierent micropho...
متن کاملIndustrial Experience with Test Generation Languages for Processor Verification
We report on our experience with a new test generation language for processor verification. The verification of two superscalar multiprocessors is described and we show the ease of expressing complex verification tasks. The cost and benefit are demonstrated: training takes up to six months; the simulation time required for a desired level of coverage has decreased by a factor of twenty; the num...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2019
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2019-31(3)-6